Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings: 1825 (Lecture Notes in Computer Science)
by Mogens Nielsen,Dan Simpson
ISBN 13: 9783540676935
Format: Paperback (504 pages) Publisher: Springer Published: 14 Jun 2000
Save for later
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers: 1414 (Lecture Notes in Computer Science)
by Mogens Nielsen,Wolfgang Thomas
ISBN 13: 9783540645702
Format: Paperback (528 pages) Publisher: Springer Published: 20 May 1998
CONCUR 2001 - Concurrency Theory: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings: 2154 (Lecture Notes in Computer Science)
by Kim G. Larsen, Mogens Nielsen
ISBN 13: 9783540424970
Format: Paperback (600 pages) Publisher: Springer Published: 13 Jun 2008
Automata, Languages and Programming: 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings: 1644 (Lecture Notes in Computer Science)
by Peter van Emde Boas, Mogens Nielsen, Jiri Wiedermann
ISBN 13: 9783540662242
Format: Paperback (740 pages) Publisher: Springer Published: 27 Jun 2008
Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002. Held as Part of the Joint European Conferences ... 2303 (Lecture Notes in Computer Science)
by Mogens Nielsen, Uffe Engberg
ISBN 13: 9783540433668
Format: Paperback (456 pages) Publisher: Springer Published: 13 Jun 2008
TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings: 915 (Lecture Notes in Computer Science)
by Peter D. Mosses,Mogens Nielsen,Michael I. Schwartzbach
ISBN 13: 9783540592938
Format: Paperback (836 pages) Publisher: Springer Published: 03 May 1995
Mathematical Foundations of Computer Science 2000: 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 ... (Lecture Notes in Computer Science, 1893)
by Mogens Nielsen, Branislav Rovan
ISBN 13: 9783540679011
Format: Paperback (710 pages) Publisher: Springer Published: 14 Aug 2000